181. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
182. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
183. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
184. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده : Wang, Hao
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
W3
185. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده : Par Hao Wang et Naughton Robert
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Set theory,Logic, Symbolic and mathematical
186. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
187. Logic, Proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
188. Logic, computation, hierarchies /
پدیدآورنده : edited by Vasco Brattka, Hannes Diener, Dieter Spreen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Boolean, Congresses,Logic, Symbolic and mathematical, Congresses,Petri nets, Congresses,Quasi-metric spaces, Congresses,Set theory, Congresses
189. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
190. Logic, proof, and sets
پدیدآورنده : Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
191. Logical Structures for Representation of Knowledge and Uncertainty
پدیدآورنده : by Ellen Hisdal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Operations research.
192. Many Valued Topology and its Applications
پدیدآورنده : by Ulrich Höhle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Topology.
193. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
194. Mathematical logic :
پدیدآورنده : Roman Kossak
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
رده :
QA9
.
K67
2018
195. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده : Ed. by Yehoshua Bar-Hillel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
196. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, symbolic and mathematical-- Congresses
رده :
QA
9
.
I54
1968
197. Mathematical logic, the theory of algorithms, and the theory of sets
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
رده :
QA
1
.
A413
no
.
133
198. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
پدیدآورنده : edited by S. I. Adjan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
199. Mathematics of Fuzzy Sets
پدیدآورنده : edited by Ulrich Höhle, Stephen Ernest Rodabaugh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
